Atomic formula

Results: 91



#Item
71Semantics / Proof theory / Quantification / Propositional calculus / First-order logic / Interpretation / Intuitionistic logic / Well-formed formula / Atomic formula / Logic / Mathematical logic / Predicate logic

Anti-Realist Classical Logic and Realist Mathematics  Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009

Add to Reading List

Source URL: consequently.org

Language: English - Date: 2009-10-13 01:54:21
72Quantum electrodynamics / Atomic physics / Partial differential equations / Synchrotron radiation / Electron / Larmor formula / Undulator / Equations of motion / Wavelength / Physics / Equations / Electromagnetic radiation

We analyze the motion of an electron in the crossed electromagnetic field of the planar magnetron. Numerically we calculate the parameters of cycloid along which electron moves. We determine the total power of radiation

Add to Reading List

Source URL: www.modern-medical-science.site88.net

Language: English - Date: 2013-02-01 20:05:01
73Boolean algebra / Modal logic / Semantics / Proposition / Negation / Tautology / Possible world / Contingency / Atomic formula / Logic / Mathematical logic / Propositional calculus

always more Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne [removed]

Add to Reading List

Source URL: consequently.org

Language: English - Date: 2010-11-15 08:48:37
74Valuation / Atomic sentence / Quantification / Sentence / Atomic formula / First-order logic / Logic / Predicate logic / Mathematical logic

Introduction to Logic Professor John Morrison [removed] Lecture

Add to Reading List

Source URL: philosophy.columbia.edu

Language: English - Date: 2011-07-12 12:52:02
75Quantum chemistry / Theoretical chemistry / Computational chemistry / Molecular physics / Hartree–Fock method / Electron configuration / Atomic formula / Chemistry / Physics / Atomic physics

APC ATOMIC PHYSICS CALCULATIONS CALCULS EN

Add to Reading List

Source URL: www.ipnas.ulg.ac.be

Language: English - Date: 2005-05-31 11:06:11
76Mathematical logic / Logical syntax / Proof theory / Formal languages / Decidability / Atomic model / Theory / Well-formed formula / Recursive languages and sets / Logic / Metalogic / Model theory

Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory

Add to Reading List

Source URL: www.ims.nus.edu.sg

Language: English - Date: 2010-01-12 23:03:20
77Mathematics / Model theory / Artificial intelligence / Markov logic network / Logic form / Hidden Markov model / First-order logic / Predicate / Atomic formula / Logic / Mathematical logic / Predicate logic

Entity Resolution with Markov Logic Parag Singla Pedro Domingos

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2006-09-29 22:13:24
78Atomic physics / Hydrogen / Quantum electrodynamics / Optics / Balmer series / Bohr model / Hydrogen spectral series / Rydberg formula / H-alpha / Physics / Chemistry / Emission spectroscopy

The Hydrogen Balmer Series and Rydberg Constant by Dr. James E. Parks Department of Physics and Astronomy

Add to Reading List

Source URL: www.phys.utk.edu

Language: English - Date: 2007-01-18 13:49:01
79Non-classical logic / Substructural logic / Logic in computer science / Predicate logic / Sequent calculus / Intuitionistic logic / First-order logic / Atomic formula / Natural deduction / Logic / Mathematical logic / Proof theory

Theoretical Elsevier

Add to Reading List

Source URL: www.univr.it

Language: English - Date: 2012-11-16 08:23:50
80Predicate logic / Propositional calculus / Logical syntax / Proof theory / First-order logic / Natural deduction / Well-formed formula / Atomic formula / Intuitionistic logic / Logic / Mathematical logic / Mathematics

Mathematical Logic Helmut Schwichtenberg

Add to Reading List

Source URL: www.mathematik.uni-muenchen.de

Language: English - Date: 2010-07-21 04:18:08
UPDATE